Williams College - Semantics and design of programming languages, type theory, object-oriented languages, models of higher-order lambda calculus including subtypes and bounded polymorphism.

University of Alabama at Birmingham - Programming languages, compiler design, formal semantics, object-oriented technology.

University of California, Santa Barbara - Computer aided verification, formal methods, static analysis, model checking.

University of Edinburg - Understanding the structure of mathematical proofs using proof plans, automated theorem proving.

HP Labs - Java, Garbage collection, language theory